Symposium on Logic in Computer Science - PDFSEARCH.IO - Document Search Engine

Symposium on Logic in Computer Science
Results: 42

#	Item
21	Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2013-03-11 00:53:25 Logic Formal sciences Frege system Propositional calculus IEEE Symposium on Logic in Computer Science Mathematical logic Logic programming Proof theory Samuel Buss Theoretical computer science Logic in computer science Mathematics
22	FLOC 2014 Jan Otop IST Austria September 3, 2013 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-11 10:24:19 Federated Logic Conference One Tambon One Product IEEE Symposium on Logic in Computer Science Kurt Gödel Society City Airport Train Vienna Kurt Gödel Schengen Area Europe Political geography Austria
23	CSL-LICSJuly 15, 2014 CSL-LICS 2014 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-07-23 09:38:11 Standards organizations Institute of Electrical and Electronics Engineers Engineering Science IEEE Symposium on Logic in Computer Science Logic in computer science International nongovernmental organizations
24	CSL’Business meeting September 5, 2012 CSL’12 I Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-12-04 16:29:26 Research Electronic submission IEEE Symposium on Logic in Computer Science Computerized Speech Lab Applied mathematics Mathematics Academia Competitions Digital media Grants
25	Curriculum Vitae ´ ski Damian Niwin JanuaryCurrent Position Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-01-12 19:14:06 Symposium on Theoretical Aspects of Computer Science Logic in computer science International Colloquium on Automata Languages and Programming Fundamenta Informaticae IEEE Symposium on Logic in Computer Science Lecture Notes in Computer Science Workshop on Logic Language Information and Computation Theoretical computer science Applied mathematics Computer science
26	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
27	Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-08-06 12:15:35 Formal sciences International Conference on Logic Programming Logic programming Association for Computing Machinery CiteSeer Federated Logic Conference International Symposium on Logic-based Program Synthesis and Transformation Logic Lecture Notes in Computer Science Computer science Science Computing
28	CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICSJuly 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2015-01-16 03:22:08 Formal sciences Mathematical logic Logic in computer science IEEE Symposium on Logic in Computer Science Philosophical logic Kleene award Theoretical computer science Modal logic Description logic Logic Science Non-classical logic
29	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
30	IEEE Symposium on Computer Security Foundations, June 23-25, 2008 MONDAY JUNE 23 CSF Add to Reading List Source URL: ieee-security.org Language: English - Date: 2012-02-14 14:29:19 Computer science IEEE Symposium on Logic in Computer Science Year of birth missing Logic programming Frank Pfenning Logical framework Theoretical computer science Logic in computer science Programming language theory